xen ppc: Guests need the default 100Hz ticker.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/xen/arch/powerpc/domain.c b/xen/arch/powerpc/domain.c
index e129adbe0f09ff42d390aa387f5e62781d21c03d..156b70ffd9f4128ad24b6d386aea8f58d80ee6c5 100644 (file)
--- a/xen/arch/powerpc/domain.c
+++ b/xen/arch/powerpc/domain.c
@@ -142,6 +142,8 @@ void free_vcpu_struct(struct vcpu *v)
 
 int vcpu_initialise(struct vcpu *v)
 {
+    /* Guests by default have a 100Hz ticker. */
+    v->periodic_period = MILLISECS(10);
     return 0;
 }